برای ثابت کردن اینکه \( BE = AF \) است، به شکل دادهشده نگاه میکنیم. فرض کنیم \( ABCD \) یک متوازیالأضلاع است.
چون \( ABCD \) متوازیالأضلاع است، پس:
1. \( AD \parallel BC \) و \( AB \parallel DC \)
2. \( AD = BC \) و \( AB = DC \)
در متوازیالأضلاع، خطوط متقابل همدیگر را در نقاط میانگین قطع میکنند. بنابراین نقاط \( D \) و \( C \) به ترتیب نسبت به \( AF \) و \( BE \) همساز هستند و طول این دو برابر است:
بنابراین میتوان نتیجه گرفت که \( BE = AF \).
